System Development with Formal Specification from the Empirical Modeling perspective
نویسنده
چکیده
System development, or broadly speaking, software engineering, would introduces risks and bugs as the increase of complexity. Formal specification is researched and developed for several years to constrain the states and transitions. This paper explores the system development with formal specification from the Empirical Modeling perspective, which is a novel approach to computer-based modeling focusing on observables, dependency, and agency. A specific example, train barrier controller system, is developed for reference to illustrate the ideas here.
منابع مشابه
An Empirical Study Using Z and UML for the Requirements Specification of an Information System
This article describes an empirical study where use cases and class diagrams (semi-formal modeling) and Z language (formal modeling) were used to make a requirements specification of an information system. The study presents some benefits of formal modeling for the quality improvement during the requirements specification of an information system. The empirical study was developed based on a re...
متن کاملOcl Formal Specification Based Metrics as a Measure of Complexity and Fault-proneness
Formal specification of UML models in OCL is essential to improve software quality. Owing to the use of OCL in precise model specification, its application has been looked in different perspectives such as early measurement of module complexity. Moreover, when UML class diagrams are complemented with OCL, the metrics collected from OCL specification can serve as an indicator of fault-prone comp...
متن کاملProcess time patterns: A formal foundation
Companies increasingly adopt process-aware information systems (PAISs) to model, execute, monitor, and evolve their business processes. Though the handling of temporal constraints (e.g., deadlines, or time lags between activities) is crucial for the proper support of business processes, existing PAISs vary significantly regarding the support of the temporal perspective. Both the formal specific...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملA Formal Semantics of Time Patterns for Process-aware Information Systems
Companies increasingly adopt process-aware information systems (PAISs) to coordinate, monitor and evolve their business processes. Although the proper handling of temporal constraints (e.g., deadlines and minimum time lags between activities) is crucial in many application domains, existing PAISs vary significantly regarding their support of the temporal perspective of business processes. Both ...
متن کامل